Planning with Transaction Logic

Basseda, Reza; Kifer, Michael; Bonner, Anthony J.

doi:10.1007/978-3-319-11113-1_3

Cited by 7 publications

(3 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Logic languages with updates have important applications in enterprise software [GAK12, AtCG + 15]. Transaction logic can also help in planning [BKB14].…”

Section: Extensionsmentioning

confidence: 99%

Logic programming applications: what are the abstractions and implementations?

Liu¹

2018

Declarative Logic Programming: Theory, Systems, and Applications

View full text Add to dashboard Cite

This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their essential implementations are for-loops, fixed points, and backtracking, respectively. The corresponding kinds of applications are database queries, inductive analysis, and combinatorial search, respectively. We also discuss language extensions and programming paradigms, summarize example application problems by application areas, and touch on example systems that support variants of the abstractions with different implementations.the introduction of non-declarative features in logic languages and resulted in the writing of obscure logic programs.Despite the challenges, the most exciting aspect of logic programming is its vast areas of applications. They range from database queries to program analysis, from text processing to decision making, from security to knowledge engineering, and more. These vast, complex, and interrelated areas make it challenging but necessary to provide a deeper understanding of the various kinds of applications in order to help advance the state of the art of logic programming and realize its benefits.This article presents an overview of applications of logic programming based on a study of the abstractions and implementations of logic languages. The rationale is that abstractions and implementations are the enabling technologies of the applications. The abstractions are essential for determining what kinds of application problems can be expressed and how they can be expressed, for ease of understanding, reuse, and maintenance. The underlying implementations are essential for high-level declarative languages to be sufficiently efficient for substantial applications.We discuss the following essential abstractions, where data abstractions are for expressing the data, and control abstractions are for expressing computations over the data:1. data abstractions: objects and relationships; 2. control abstractions: (1) join, (2) recursion, and (3) constraint, which capture bounded, cyclic, and general computations, respectively. Logic language abstractionsLogic languages provide very high-level data and control abstractions, using mostly very simple language constructs. We describe these abstractions and their meanings intuitively. Data abstractionsAll data in logic languages are abstracted, essentially, as objects and relationships.

show abstract

“…Logic languages with updates have important applications in enterprise software [GAK12, AtCG + 15]. Transaction logic can also help in planning [BKB14].…”

Section: Extensionsmentioning

confidence: 99%

Logic programming applications: what are the abstractions and implementations?

Liu¹

2018

Declarative Logic Programming: Theory, Systems, and Applications

View full text Add to dashboard Cite

show abstract

“…business analysts, Web service developers, etc.). For example, the Business Process Model and Notation (BPMN) 6 is a standard for business process modeling and provides a graphical notation for specifying business processes (BPMN distinguishes between public and private processes, choreographies, and collaborations; it can provide different views of internal and external interactions). Another approach to modeling service processes is the WSMO model of choreography, 7 which is limited to server-side interactions.…”

Section: Service Modeling Contracting and Contract Executionmentioning

confidence: 99%

“…A key differentiation of our approach based on CTR is that, while many works in AI focus on reasoning about actions, CTR also has constructs for defining transactions and executing them. These issue and further comparison are discussed in detail in the original and follow-up papers [9,10,11,37,6].…”

Section: Related Workmentioning

confidence: 99%

ServLog: A unifying logical framework for service modeling and contracting

Roman

Kifer

2018

Self Cite

View full text Add to dashboard Cite

Implementing semantics-aware services, which includes semantic Web services, requires novel techniques for modeling and analysis. The problems include automated support for service discovery, selection, negotiation, and composition. In addition, support for automated service contracting and contract execution is crucial for any large scale service environment where multiple clients and service providers interact. Many problems in this area involve reasoning, and a number of logic-based methods to handle these problems have emerged in the field of Semantic Web Services. In this paper, we lay down theoretical foundations for service modeling, contracting, and reasoning, which we call ServLog, by developing novel techniques for modeling and reasoning about service contracts with the help of Concurrent Transaction Logic. With this framework, we significantly extend the modeling power of the previous work by allowing expressive data constraints and iterative processes in the specification of services. This approach not only captures typical procedural constructs found in established business process languages, but also greatly extends their functionality, enables declarative specification and reasoning about services, and opens a way for automatic generation of executable business processes from service contracts.

show abstract

State Space Planning Using Transaction Logic

Basseda

Kifer

2015

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

Planning with Transaction Logic

Cited by 7 publications

References 15 publications

Logic programming applications: what are the abstractions and implementations?

Logic programming applications: what are the abstractions and implementations?

ServLog: A unifying logical framework for service modeling and contracting

State Space Planning Using Transaction Logic

Contact Info

Product

Resources

About