article

Free access

Implementation of predicate logic in APL2

Authors:

H. P. MeinzerAuthors Info & Claims

ACM SIGAPL APL Quote Quad, Volume 19, Issue 4

Pages 124 - 128

https://doi.org/10.1145/75145.75162

Published: 01 July 1989 Publication History

Abstract

Our aim is the implementation of a knowledge based image analysis system, which combines the capabilities of APL and Artificial Intelligence. The first step is the implementation of predicate logic in APL, based on the suggestions of Brown. A first prototype is now ready, which can be used for PROLOG-like functions in connection with image processing functions.

References

[1]

Alfonseca, M., Tobar, M.: Extending AFL to Logic Programming. APL Quote Quad (USA) 164 1986, pp. 212-275.

Digital Library

[2]

Alfonseca. M.: Advances in APL/PC. Proceedings of the SEAS Spring Meeting 1986. Nijmegen: SEAS 1985, pp. 367-374.

[3]

Bittlestone R.: XPL: An Expert Systems Framework in APL. APL Quote Quad (USA) 15 4, May 1985, pp. 173-180.

Digital Library

[4]

Brown, J.A.: APL2 - a newcomer on the artificial intelligence scene. Proceedings of the SEAS Spring Meeting 1986. Nijmegen: SEAS 1985, pp.

[5]

Brown, J.A., Eusebi, E. Cook, J., Groner, L.H.: Algorithms for Artificial Intelligence in APL2. Technical Report (TR 03.281) Santa Teresa Laboratory, San lose, California. May 1986.

[6]

Brown, J., Alfonseca, M.: Solutions to Logic Problems in APL2. APL Quote Quad (USA) 17 3, May 1987 pp. 356-361.

Digital Library

[7]

Brown, J., Guerreiro, R.: APL2 Implementations of unifications. APL Quote Quad (USA) 17 3, May - 1987 pp. 216-224.

Digital Library

[8]

Brown, I. Guerreiro. R.: Designing APL2 Programs for unification. APL Quote Quad (USA) '17 3, May 1987 pp. 465-468.

Digital Library

[9]

Engelmann, U., Meinzer, H.P.: KI in APL? APL- Journal 6 (1987) 3-11.

[10]

Engelmann. U., Gemeth, Th., Meinzer, H.P.: AFLPROLOG - Pr%dikatenlogik in APL2. Heidelberg, DKFZ 1989 (MB1 - Technical Report Nr. 22/1989).

[11]

Harmon, P., King, D.: Expertensysteme in der Praxis. Mtichen: Oldenlxmrg 1986.

[12]

Keppel, E., Kropp, D.: APL2 or LISP? Implementing "Frames", a Knowledge Representation Scheme. Vector 2 No. 2 Oktober 1985.

[13]

Kunz, J.C., Keller, T.P., Williams, M.D.: Applications Development Using a Hybrid AI Development System. The AI Magazine S (1984) 41-54.

[14]

Scheppelmarm, D., Baur, H.J., Engelmann, U., Gerneth, Th., Heyers, V., Meinzer, H.P., Saurbier, F., Schlfer, R., Wolf, Th.: APLTREE - Bildverarbeitung in APL2. Heidelberg, DKFZ 1989 (MB1 - Technical Report Nr. 24/1989).

[15]

Sullivan, G. Fordyce, K.: A Boolean Array Based Algorithm in APL for Forward Chaining in Rulebased Production Expert Systems. APL Quote Quad (USA) 16 3, MaTch 1986, pp. 5-12.

Digital Library

Cited By

Scheppelmann DMeinzer HSpringub AKlemstein J(1990)Ein kognitives TexturmodellMustererkennung 199010.1007/978-3-642-84305-1_33(282-287)Online publication date: 1990
https://doi.org/10.1007/978-3-642-84305-1_33
Meinzer HEngelmann UScheppelmann DSchäfer R(1990)Volume Visualization of 3D Tomographies3D Imaging in Medicine10.1007/978-3-642-84211-5_16(253-261)Online publication date: 1990
https://doi.org/10.1007/978-3-642-84211-5_16
Engelmann UMeinzer HScheppelmann DSpringub A(1990)Knowledge-based Image Analysis on the Basis of Predicate LogicMedical Informatics Europe ’9010.1007/978-3-642-51659-7_143(763-767)Online publication date: 1990
https://doi.org/10.1007/978-3-642-51659-7_143
Show More Cited By

Index Terms

Implementation of predicate logic in APL2

Recommendations

An Intuitionistic Completeness Theorem for Classical Predicate Logic

This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to Gödel's completeness theorem for classical predicate logic.
Implementation of predicate logic in APL2
APL '89: Conference proceedings on APL as a tool of thought

Our aim is the implementation of a knowledge based image analysis system, which combines the capabilities of APL and Artificial Intelligence. The first step is the implementation of predicate logic in APL, based on the suggestions of Brown. A first ...
Monodic Epistemic Predicate Logic
JELIA '00: Proceedings of the European Workshop on Logics in Artificial Intelligence

We consider the monodic formulas of common knowledge predicate logic, which allow applications of epistemic operators to formulas with at most one free variable. We provide finite axiomatizations of the monodic fragment of the most important common ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGAPL APL Quote Quad

ACM SIGAPL APL Quote Quad Volume 19, Issue 4

Aug. 1989

376 pages

ISSN:0163-6006

DOI:10.1145/75145

Issue’s Table of Contents

APL '89: Conference proceedings on APL as a tool of thought
July 1989
384 pages
ISBN:0897913272
DOI:10.1145/75144
Chairmen:
Chris Lincoln,
Bob Brown

Copyright © 1989 Copyright is held by the owner/author(s).

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1989

Published in SIGAPL Volume 19, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
490
Total Downloads

Downloads (Last 12 months)96
Downloads (Last 6 weeks)15

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Scheppelmann DMeinzer HSpringub AKlemstein J(1990)Ein kognitives TexturmodellMustererkennung 199010.1007/978-3-642-84305-1_33(282-287)Online publication date: 1990
https://doi.org/10.1007/978-3-642-84305-1_33
Meinzer HEngelmann UScheppelmann DSchäfer R(1990)Volume Visualization of 3D Tomographies3D Imaging in Medicine10.1007/978-3-642-84211-5_16(253-261)Online publication date: 1990
https://doi.org/10.1007/978-3-642-84211-5_16
Engelmann UMeinzer HScheppelmann DSpringub A(1990)Knowledge-based Image Analysis on the Basis of Predicate LogicMedical Informatics Europe ’9010.1007/978-3-642-51659-7_143(763-767)Online publication date: 1990
https://doi.org/10.1007/978-3-642-51659-7_143
Meinzer HEngelmann UScheppelmann DSchaefer R(1990)Medical Three-Dimensional ImagesMedical Informatics Europe ’9010.1007/978-3-642-51659-7_136(725-732)Online publication date: 1990
https://doi.org/10.1007/978-3-642-51659-7_136
Scheppelmann DKlemstein JMeinzer H(1990)Kognitive Texturparameter in Radiographie und ComputertomographieBiometrie und Informatik — neue Wege zur Erkenntnisgewinnung in der Medizin10.1007/978-3-642-48167-3_62(291-294)Online publication date: 1990
https://doi.org/10.1007/978-3-642-48167-3_62
Engelmann UGerneth TMeinzer H(1990)Wissensbasierte Bildanalyse auf der Basis von PrädikatenlogikBiometrie und Informatik — neue Wege zur Erkenntnisgewinnung in der Medizin10.1007/978-3-642-48167-3_61(287-290)Online publication date: 1990
https://doi.org/10.1007/978-3-642-48167-3_61

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Issue’s Table of Contents