DOMINO: Trivalent Logic Semantics in Bivalent Syntax Clothes

Boldur E. Bărbat

Abstract


The paper describes a rather general software mechanism developed primarily for decision making in dynamic and uncertain environments (typical application: managing overbooking). DOMINO (Decision-Oriented Mechanism for "IF" as Non-deterministic Operator) is meant to deal with undecidability due to any kind of future contingents. Its description here is self-contained but, since a validation is underway within a much broader undertaking involving agent-oriented software, to impair redundancy, several aspects explained in very recent papers are here abridged. In essence, DOMINO acts as an "IF" with enhanced semantics: it can answer "YES", "NO" or "UNDECIDABLE in the time span given" (it renders control to an exception handler). Despite its trivalent logic semantics, it respects the rigours of structural programming and the syntax of bivalent logic (it is programmed in plain C++ to be applicable to legacy systems too). As for most novel approaches, expectations are high, involving a less algorithmic, less probabilistic, less difficult to understand method to treat undecidability in dynamic and uncertain environments, where postponing decisions means keeping open alternatives (to react better to rapid environment changes).

Keywords


undecidability; open, heterogeneous, dynamic and uncertain environments (OHDUE); decision-making; trivalent logic semantics; agent-oriented software engineering

Full Text:

PDF

References


AgentLink Roadmap: Overview and Consultation Report, AgentLink III. Agent based computing, University of Southampton, 2004.

Anderson, A.R, N.D. Belnap, J.M. Dunn. Entailment: The Logic of Relevance and Necessity, Volume 2. Princeton University Press, Princeton, 1992.

Barbat, B.E. Agent-Oriented Intelligent Systems. Romanian Academy Publishing House, Bucharest, 2002 (in Romanian, "Grigore Moisil" Prize of the Romanian Academy).

Barbat, B.E. The Impact of Broad-Band Communication upon HMI Language(s). (Chapter 7.) Communicating in the world of humans and ICTs. (Chapter 8.) in COST Action 269. e-Citizens in the Arena of Social and Political Communication (L. Fortunati, Ed.), pp. 113-142, EUR21803, Office for Official Publications of the European Communities, Luxembourg, 2005.

Barbat, B.E., A. Moiceanu, I. Pah. Gödelian Self-Reference in Agent-Oriented Software. Proc. of the 11th WSEAS International Conference on COMPUTERS (ICCOMP '07) (N.E. Mastorakis et al, Eds.), 92-97, Agios Nikolaos, Crete, 2007.

Barbat, B.E, A. Moiceanu, S. Plesca, S.C. Negulescu. Affordability and Paradigms in Agent-Based Systems. Computer Science Journal of Moldova, 2007. (In print.)

Barbat, B.E., R.S. Muntean, R. Fabian. Approximation versus Undecidability in Economic Modelling. Proc. of the International Workshop New approaches, Algorithms and Advanced Computational Techniques in Approximation Theory and its Applications (D. Simian, Ed.), 2007. (In print.)

Barbat, B.E., S.C. Negulescu. From Algorithms to (Sub-)Symbolic Inferences in Multi-Agent Systems. International Journal of Computers, Communications & Control, 1, 3, 5-12, 2006. (Paper selected from the Proc. of ICCCC 2006.)

Barbat, B.E., S.C. Negulescu, S. Plesca. Emergence as Leverage and Non-Algorithmic Approaches in Agent-Oriented Software. Studies in Informatics and Control Journal, 16, 4, 2007. (In print.)

Bruntink, M., A. van Deursen, T. Tourwé. Discovering faults in idiom-based exception handling. Proc. of the 28th international conference on Software engineering, 242 - 251, ACM Press, New York, 2006.
http://dx.doi.org/10.1145/1134285.1134320

Castor Filho, F., A. Garcia, C.M.F. Rubira. Error Handling as an Aspect. Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development, ACM Press, New York, 2007.
http://dx.doi.org/10.1145/1229485.1229486

Clegg, S., Kornberger, M., Rhodes, C. Organizational ethics, decision making, undecidability. The Sociological Review, 55, 2, 393-409(17), Blackwell Publishing, 2007.

FIPA TC Agent Management. FIPA Agent Management Specification. Standard SC00023K (2004/18/03). http://www.fipa.org/specs/fipa00023/SC00023K.pdf, 2004.

Fisher, M. Temporal Development Methods for Agent-Based Systems. Autonomous Agents and Multi-Agent Systems, 10, 41-66, Springer Science + Business Media Inc., 2005.

Gottwald, S. Many-valued Logic. In Stanford Encyclopedia of Philosophy (E.N. Zalta, Ed.). http://plato. stanford.edu/entries/logic-manyvalued/, 2004.

Rabinovich, A. Temporal logics with incommensurable distances are undecidable. Information and Computation, 205, 5, 707-715, Elsevier, 2007.

Refsgaard, J.C. et al. Uncertainty in the environmental modelling process-A framework and guidance. Environmental Modelling & Software, 1543-1556, Elsevier, 2007.

Weisstein, E.W. Three-Valued Logic. From MathWorld–A Wolfram Web Resource. http://mathworld. Wolfram.com/Three-ValuedLogic.html. CRC Press LLC, Wolfram Research, 1999.

Zambonelli, F., A. Omicini. Challenges and Research Directions in Agent-Oriented Software Engineering. Autonomous Agents and Multi-Agent Systems, 9, 253-283, Kluwer Academic Publishers, 2004.




DOI: https://doi.org/10.15837/ijccc.2007.3.2362



Copyright (c) 2017 Boldur E. Bărbat

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2016: IF=1.374. .

IJCCC is indexed in Scopus from 2008 (CiteScore 2017 = 1.04; SNIP2017 = 0.616, SJR2017 =0.326):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2017 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.29 (Q3). Scopus: CiteScore2017=1.04 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.