Rational Enterprise Architecture

in Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I (2017)

We are interested in formal foundations for enterprise decision support. In this perspective, enterprise architecture is characterised by highly uncertain plans in a changing environment, and translates ... [more ▼]

We are interested in formal foundations for enterprise decision support. In this perspective, enterprise architecture is characterised by highly uncertain plans in a changing environment, and translates strategic goals into an IT strategy. Typically there are a large number of stakeholders with conflicting views, communicating plans of action, and explaining decisions instead of making them. An enterprise architecture considers qualitative before quantitative data, has stronger business focus than other disciplines, and politics, emotions, and soft skills play a bigger role than in other areas. We view a plan abstractly as a sequence of commitments in time, and each commitment in the plan may come with a number of underlying assumptions. If these underlying assumptions change, then parts of the plan may require revision, which in turn may invalidate other parts of the plan, and so on. Therefore, assumptions have an inherently non-monotonic character: they are assumed to be true, unless it becomes clear they are false. This is related to the resource-boundedness of enterprise architecture: an enterprise architect cannot always know all of the assumptions, especially for long term plans. [less ▲]

Formalizing and Modeling Enterprise Architecture (EA) Principles with Goal-oriented Requirements Language (GRL)

in Proceedings of the 28th International Conference on Advanced Information System Engineering (CAiSE16) (2016)

AGM-Style Revision of Beliefs and Intentions

in Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI'16) (2016)

The RationalGRL toolset for Goal Models and Argument Diagrams

in Proceedings of the 6th International Conference on Computational Models of Argument (COMMA'16) (2016)

Intention Reconsideration as Metareasoning

Scientific Conference (2015)

ARMED: ARgumentation Mining and reasoning about Enterprise architecture Decisions

in Proceedings of the 27th Benelux Conference on Artificial Intelligence (BNAIC2015) (2015)

Consistency Conditions for Beliefs and Intentions

Scientific Conference (2015)

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show ... [more ▼]

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic [less ▲]

Bridging Social Network Analysis and Judgment Aggregation

in Proceedings of Social Informatics - 6th International Conference, SocInfo 2014, Barcelona, Spain, November 11-13, 2014 (2014)

Judgment aggregation investigates the problem of how to aggregate several individuals’ judgments on some logically connected propositions into a consistent collective judgment. The majority of work in ... [more ▼]

Judgment aggregation investigates the problem of how to aggregate several individuals’ judgments on some logically connected propositions into a consistent collective judgment. The majority of work in judgment aggregation is devoted to studying impossibility results, but the relationship between the (social) dependencies that may exist be- tween voters and the outcome of the voting process is traditionally not studied. In this paper, we use techniques from social network analysis to characterize the relations between the individuals participating in a judgment aggregation problem by analysing the similarity between their judgments in terms of social networks. We obtain a correspondence between a voting rule in judgment aggregation and a centrality measure from social network analysis and we motivate our claims by an empirical analysis. We also show how large social networks can be simplified by grouping individuals with the same voting behavior. [less ▲]

Reasoning on Robot Knowledge from Discrete and Asynchronous Observations

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use ... [more ▼]

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge. [less ▲]

Bridging Social Network Analysis and Judgment Aggregation

in Proceedings of the 6th International Conference on Social Informatics (2014)